XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exc......

着重讨论了CAD协同设计工作流管理中的工作流表示模型 ,提出了运用状态图的形式来表示工作流的模型 ,并详细描述了其定义、特性、......

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是......

在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战：全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基......

状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个......

将UML（统一建模语言）图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径。PVS是一种通用高阶逻辑形......

首先简要介绍了C4ISR系统体系结构，然后在基于Statemate的系统体系结构分析的基础上，结合防空系统实例给出了它的详细开发过程，为C4IS......

统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言,基于UML,统一软件开发过程(USDP)提出了软件开发的过程方法.目前,基......

主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态......

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......

模型驱动开发（MDD）是由OMG提出的通用软件开发标准，旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用......

UML已经是软件建模方面的标准语言，UML Staechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statecha......

UML已经是软件建模方面的标准语言，UML Staechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statecha......

测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML......

针对主动对象这样一种常见的应用程序形式,提出了一种面向测试的开发框架,以缩短软件开发周期和提高软件质量.该框架选择Statechar......

针对主动对象这样一种常见的应用程序形式,提出了一种面向测试的开发框架,以缩短软件开发周期和提高软件质量.该框架选择Statechar......

针对数控系统复杂行为的描述和控制，分析了采用有限状态机方法的利弊，提出了采用UMLStatechart的系统行为描述方法。应用该方法对一......

分析UM L状态图的组成、标准事件和嵌套、并发的优点,给出利用UM L状态图产生测试用例的软件测试方法。该方法可以把状态的复杂度......

UML Statechart是UML的一个主要组成部分,与其他类型的Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确......